1

Best Practices for Managing Organizational Diversity

Year:
2008
Language:
english
File:
PDF, 344 KB
english, 2008
20

Compactness in constructive analysis revisited

Year:
1987
Language:
english
File:
PDF, 541 KB
english, 1987
24

Formal Mathematics for Verifiably Correct Program Synthesis

Year:
1996
Language:
english
File:
PDF, 1.16 MB
english, 1996
30

Crossed Femoral Stretching Test

Year:
1996
File:
PDF, 10.41 MB
1996
35

Der Stand der warmfesten Baustähle

Year:
1942
Language:
german
File:
PDF, 1.08 MB
german, 1942
45

Innovations in computational type theory using Nuprl

Year:
2006
Language:
english
File:
PDF, 499 KB
english, 2006